2

The axiom of choice

Year:
1980
Language:
english
File:
PDF, 1.39 MB
english, 1980
3

Aspects of topoi

Year:
1972
Language:
english
File:
PDF, 2.06 MB
english, 1972
4

All topoi are localic or why permutation models prevail

Year:
1987
Language:
english
File:
PDF, 613 KB
english, 1987
5

Splitting homotopy idempotents II

Year:
1993
Language:
english
File:
PDF, 881 KB
english, 1993
6

Cartesian logic

Year:
2002
Language:
english
File:
PDF, 150 KB
english, 2002
7

E3410

Year:
1992
Language:
english
File:
PDF, 316 KB
english, 1992
8

Aspects of topoi: Corrigenda and acknowledgements

Year:
1972
Language:
english
File:
PDF, 458 KB
english, 1972
9

Coherence theorems via knot theory

Year:
1992
Language:
english
File:
PDF, 1.32 MB
english, 1992
10

Alex Heller

Year:
1993
Language:
english
File:
PDF, 54 KB
english, 1993
11

Lindenbaum algebras of intuitionistic theories and free categories

Year:
1987
Language:
english
File:
PDF, 462 KB
english, 1987
12

Choice and well-ordering

Year:
1987
Language:
english
File:
PDF, 1.11 MB
english, 1987
13

Core algebra revisited

Year:
2007
Language:
english
File:
PDF, 221 KB
english, 2007
14

A new framework for declarative programming

Year:
2003
Language:
english
File:
PDF, 594 KB
english, 2003
16

Braided compact closed categories with applications to low dimensional topology

Year:
1989
Language:
english
File:
PDF, 1.20 MB
english, 1989
17

Concreteness

Year:
1973
Language:
english
File:
PDF, 1.73 MB
english, 1973
20

Relative Homological Algebra Made Absolute

Year:
1963
Language:
english
File:
PDF, 139 KB
english, 1963
22

Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups

Year:
1968
Language:
english
File:
PDF, 98 KB
english, 1968
24

The Grothendieck group for stable homotopy is free

Year:
1967
Language:
english
File:
PDF, 298 KB
english, 1967